منابع مشابه
On Combined Connectives
Combined connectives arise in combined logics. In fibrings, such combined connectives are known as shared connectives and inherit the logical properties of each component. A new way of combining connectives (and other language constructors of propositional nature) is proposed by inheriting only the common logical properties of the components. A sound and complete calculus is provided for reason...
متن کاملOn Constructive Connectives and Systems
Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Important properties of this framework are investigated, and a general nondeterministic Kripke-style semantics is provided. This general semantics is then used to provide a constructive (and very natural), sufficient and...
متن کاملTwo restrictions on possible connectives
If languages could lexicalize arbitrary truth tables as sentential connectives, we should be able to find a great variety of connectives in the world’s languages. However, very few connectives are typologically attested, as has long been known. For example, no known language lexicalizes if-and-only-if, not-and, or McCawley (1972)’s schmor, a connective that returns true exactly when two or more...
متن کاملA Note of Caution on Maximizing Entropy
The Principle of Maximum Entropy is often used to update probabilities due to evidence instead of performing Bayesian updating using Bayes’ Theorem, and its use often has efficacious results. However, in some circumstances the results seem unacceptable and unintuitive. This paper discusses some of these cases, and discusses how to identify some of the situations in which this principle should n...
متن کاملGenerating Connectives
We present an implemented procedure to select an appropriate connective to link two propositions, which is part of a large text generation system. Each connective is defined as a set of constraints between features of flxe propositions it connects. Ore' focus has been to identify pragmatic features flint can be produced by a deep generator to provide a simple representation of connectives. Usin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Bible Translator
سال: 1951
ISSN: 2051-6770,2051-6789
DOI: 10.1177/000608445100200308